A remark on equivalent Rosser sentences

نویسندگان

چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

A remark on equivalent Rosser sentences

An oversight in Guaspari and Solovay’s “Rosser sentences” (1979, Ann. Math. Log., 16, 81) is pointed out and emended. It concerns the premisses of their proof that there are standard proof predicates all of whose Rosser sentences are provably equivalent. The result holds up, but the premisses mentioned in the paper have to be strengthened somewhat.

متن کامل

A Remark on Non-equivalent Star Products via Reduction for CPn

In this paper we construct non-equivalent star products on CP by phase space reduction. It turns out that the non-equivalent star products occur very natural in the context of phase space reduction by deforming the momentum map of the U(1)-action on C \ {0} into a quantum momentum map and the corresponding momentum value into a quantum momentum value such that the level set, i. e. the ‘constrai...

متن کامل

Remark on a Reply

1.1 In their original PNAS article Macy and Sato (2002) make it clear that their main point concerns social mobility (see, for instance, the abstract and the last section). Their central claim is the non-monotonic effect of mobility: with moderate mobility, they maintain, trust can be established; with too much mobility, trust and trustworthiness are undermined — and therefore their "warning fl...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Annals of Pure and Applied Logic

سال: 2008

ISSN: 0168-0072

DOI: 10.1016/j.apal.2007.10.002